Free shipping on all orders! No minimum purchase required.
FME 2003: Formal Methods
by Keijiro Araki (Editor), Stefania Gnesi (Editor), Dion Mandrioli (Editor)